cc-Golog: Towards More Realistic Logic-Based Robot Controllers
نویسندگان
چکیده
High-level robot controllers in realistic domains typically deal with processes which operate concurrently, change the world continuously, and where the execution of actions is event-driven as in “charge the batteries as soon as the voltage level is low”. While non-logicbased robot control languages are well suited to express such scenarios, they fare poorly when it comes to projecting, in a conspicuous way, how the world evolves when actions are executed. On the other hand, a logicbased control language like ConGolog, based on the situation calculus, is well-suited for the latter. However, it has problems expressing event-driven behavior. In this paper, we show how these problems can be overcome by first extending the situation calculus to support continuous change and event-driven behavior and then presenting cc-Golog, a variant of ConGolog which is based on the extended situation calculus. One benefit of cc-Golog is that it narrows the gap in expressiveness compared to non-logic-based control languages while preserving a semantically well-founded projection mechanism.
منابع مشابه
Towards more Realistic Logic-based Robot Controllers in the GOLOG Framework
High-level robot control languages should not only be expressive but should also support reasoning about actions, in particular, the projection of robot plans. Projection is useful for the robot when choosing among different courses of action as well as for the designer of robot controllers, since projections allow for qualitative simulations. The high-level programming language GOLOG was speci...
متن کاملOn-Line Execution of cc-Golog Plans
Previously, the plan language cc-Golog was introduced for the purpose of specifying event-driven behavior typically found in robot controllers. So far, however, cc-Golog is usable only for projecting the outcome of a plan and it is unclear how to actually execute plans on-line on a robot. In this paper, we provide such an execution model for ccGolog and, in addition, show how to interleave exec...
متن کاملGolog.lua: Towards a Non-Prolog Implementation of Golog for Embedded Systems
Among many approaches to address the high-level decision making problem for autonomous robots and agents, the robot programming and plan language Golog follows a logic-based deliberative approach, and its successors were successfully deployed in a number of robotics applications over the past ten years. Usually, Golog interpreter are implemented in Prolog, which is not available for our target ...
متن کاملVariable Impedance Control for Rehabilitation Robot using Interval Type-2 Fuzzy Logic
In this study, a novel variable impedance control for a lower-limb rehabilitation robotic system using voltage control strategy is presented. The majority of existing control approaches are based on control torque strategy, which require the knowledge of robot dynamics as well as dynamic of patients. This requires the controller to overcome complex problems such as uncertainties and nonlinearit...
متن کامل